تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۵,۳۱ ثانیه یافت شد.

1. Proofs and types

المؤلف: Girard, Jean-Yves

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic

رده :

G572

1989

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها